integral invariant

积分不变式